Monadic Second-Order Logic with Arbitrary Monadic Predicates
نویسندگان
چکیده
منابع مشابه
Asymptotic Monadic Second-Order Logic
In this paper we introduce so-called asymptotic logics, logics that are meant to reason about weights of elements in a model in a way inspired by topology. Our main subject of study is Asymptotic Monadic Second-Order Logic over infinite words. This is a logic talking about ωwords labelled by integers. It contains full monadic second-order logic and can express asymptotic properties of integers ...
متن کاملAbstract Argumentation via Monadic Second Order Logic
Argumentation via Monadic Second Order Logic
متن کاملProbabilistic Inference and Monadic Second Order Logic
This paper combines two classic results from two different fields: the result by Lauritzen and Spiegelhalter [21] that the probabilistic inference problem on probabilistic networks can be solved in linear time on networks with a moralization of bounded treewidth, and the result by Courcelle [10] that problems that can be formulated in counting monadic second order logic can be solved in linear ...
متن کاملGraph structure and Monadic second-order logic
Exclusion of minor, vertex-minor, induced subgraph Tree-structuring Monadic second-order logic : expression of properties, queries, optimization functions, number of configurations. Mainly useful for tree-structured graphs (Second-order logic useless) Tools to be presented Algebraic setting for tree-structuring of graphs Recognizability = finite congruence ≡ inductive computability ≡ finite det...
متن کاملMonadic Second-order Logic for Parameterized Verification
Much work in automatic verification considers families of similar finite-state systems. But an often overlooked property is that sometimes a single finite-state system can be used to describe a parameterized, infinite family of systems. Thus verification of unbounded state spaces can take place by reduction to finite ones. The purpose of this article is to introduce Monadic Second-order Logic a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2017
ISSN: 1529-3785,1557-945X
DOI: 10.1145/3091124